mathematical logic

mathematical logic

美 　英

• na.(= symbolic logic)數理邏輯
• 網絡數字邏輯；數學邏輯；數理邏輯學

英漢解釋

na.	1. 數理邏輯(= symbolic logic) 2. 數理邏輯

例句

Mathematical logic is an important component part of dispersed mathematics and a base of learning dispersed mathematics well.

數理邏輯是離散數學的重要組成部分，是學好離散數學的基礎。

By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.

用數理邏輯的語言表述了哈密頓原理及其在正則變換下的不變性，并給以證明。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

謂詞演算語言的傳統的語義組成了數理邏輯的一個很豐富的分支。

I'm smart but no genius and it was hard work for me to get through the more abstruse reaches of mathematical logic and epistemology.

我聰明但不是天才，而我也投入了大量的經歷來學習深奧的數學邏輯和知識論。

Fuzzy logic theory overlaps with the above methods and with the probability, mathematical logic, and measure theory.

模糊理論可包含上述方法，如或然率，數學邏輯，測度理論。

Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.

羅瓦茲拉威克等人選擇了兩個來自于數學邏輯領域的理論來作為他們對于變革的信念的根基。

I learn the formulas that have been proved by mathematical logic and empirical evidence.

我學到的是已經被數學推理和實際經驗所證明的公式。

But there is a more useful notion of completeness , derived from the meaning of this word in mathematical logic.

但是這里完整性有一個比較有用的概念，這個概念是從這個單詞在數學邏輯的意思中獲得的。

Indeed, he has come to it by way of Aeronautical Engineering and Mathematical Logic.

實際上，他從事哲學的方式跟對待航空科學和數理邏輯沒什么兩樣。

Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.

數理邏輯和計算機科學有著十分密切的關系，數理邏輯是計算理論的基礎。

The problem couldn't even have been seriously tackled without the benefit of modern advances in mathematical logic.

如果不是受惠于數理邏輯的最新進展，這個問題根本就無法予以嚴肅的對待。

My mathematical logic ability stronger also, can keep in class in the forefront of the class.

我的數理邏輯能力也比較強，在班級里能保持在班級前列。

And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.

與演算的語法研究的同時，還有數理邏輯的形式語言的語義研究。

Mathematical Logic of Winning Strategy for Games?

圍棋必勝法的數理邏輯觀照？

Mathematical logic can produce some great trivia.

數學邏輯能夠推理一些極其細微的現象。

Early in his professional career, he gained a PhD in mathematical logic from the University of Buenos Aires.

在其職業生涯早期曾獲得布宜諾斯艾利斯大學數學邏輯博士學位。

F. Liu: Analysis of "Bai Ma Fei Ma" from the Perspective of Mathematical Logic, Journal of Shanxi University, No. 3, 1997.

劉奮榮：從數理邏輯的分析方法看“白馬非馬”，《山西大學學報》1997年第3期。

In mathematical logic in the study is the main target of all kinds of calculus.

在數理邏輯中研究的主要對象是各種演算。

paradox; mathematical foundation; mathematical logic;

悖論；數學基礎；數理邏輯；

The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

數理邏輯中存在量詞引入的必要性

On Research Object Discipline Belongingness Definition and Research Fields of Mathematical Logic

數理邏輯之研究對象、學科歸屬、定義及研究領域

Approaching Mathematical Logic of the Option Pricing Principles

期權定價原理的數理邏輯探析

On Significant Value of Expression and Innovation of Mathematical Logic in Modern Political Economics

論現代政治經濟學數理邏輯表達與創新的重要價值

Formal Logic Will not Be Superseded by Mathematical Logic

數理邏輯不能取代形式邏輯

On Fostering Mathematical Logic in Preparatory Instruction

試論預科教學中數學思維的培養

Content System Reform of Mathematical Logic Courses in Science Departments

理科數字邏輯課程內容體系改革探討

Several Factors in Mathematical Logic Translation

數理邏輯翻譯中的幾個因素

The Application Of Mathematical Logic Thinking To Artistic Design

數理邏輯思維方法及在藝術設計中的運用

The definition of induction and proving of induction in mathematical logic

數理邏輯中的歸納定義和歸納證明

The Incompleteness Phenomenon: A New Course in Mathematical Logic

不完全性現象：一門數學邏輯新課程

On Connective Implication Of Mathematical Logic

數理邏輯中的聯結詞蘊涵式

MSc Mathematical Logic and the Foundations of the Computer

邏輯數學和計算機基礎碩士

Mathematical logic and the foundations of mathematics

集合論與數學基礎

he has an msc in mathematical logic and the theory of computation from bristol university , uk

他具有英國bristoluniversity頒發的數理邏輯和計算理論的理學碩士學位。

Application of mathematical logic in queue theory

數理邏輯在排隊論中的應用

First course in mathematical logic

數理邏輯初級教程

A Concise Introduction to Mathematical Logic

數學邏輯簡明概論

See the Market and Plan again with Mathematical Logic

從數學理性看市場經濟和計劃經濟的優劣

How to Make Students Master the ways of Mathematical Logic in Teaching

在教學中如何讓學生掌握數學思想方法